\section{Motivation and Approach}
\label{sec:motivation-approach}

This section introduces a motivating example of a hospital application, where informal security requirements are concretised into security policies. From this example, we derive several challenges for \textsc{Mds} approaches that we find helpful for the community. We then sketch our approach, showing how some of the presented challenges are tackled. 

\input{Example}
\input{Challenges}
\input{Approach}


